The Role of the User\u27s Browsing and Query History for Improving MPC-generated Query Suggestions

In this paper we use the user\u27s recent web browsing history in order to provide better query suggestions in an information retrieval system. We have built a Chrome browser plugin that collects each web page visited by a user and submits it to our query suggestion server for indexing, thus building a personal history profile for each user. We then analyze if future queries submitted by a user to the search engine can be predicted from web pages visited by that user inthe past (i.e. his recent browsing history) or from queries submitted by that user in the past (i.e. his recent query history). The contribution of this paper is a method of using this personal history profile for reordering the query suggestions offered by Google when the user searches information on Google, moving query suggestions more relevant to the user\u27s information need to the front positions in the Google provided query suggestions list. We have collected browsing history log data for over 4 months from several users who installed our Chrome plugin on their local computers and then we performed an offline evaluation test that shows that our personalized query suggestion system improves the MRR (i.e. Mean Reciprocal Rank) score of Google query suggestions by approximately 0.04 (i.e. improves Google\u27s MRR score by 12 percents)

Verification of JADE Agents Using ATL Model Checking

It is widely accepted that the key to successfully developing a system is to produce a thorough system specification and design. This task requires an appropriate formal method and a suitable tool to determine whether or not an implementation conforms to the specifications. In this paper we present an advanced technique to analyse, design and debug JADE software agents, using Alternating-time Temporal Logic (ATL) which is interpreted over concurrent game structures, considered as natural models for compositions of open systems. In development of the proposed solution, we will use our original ATL model checker. In contrast to previous approaches, our tool permits an interactive or programmatic design of the ATL models as state-transition graphs, and is based on client/server architecture: ATL Designer, the client tool, allows an interactive construction of the concurrent game structures as a directed multi-graphs and the ATL Checker, the core of our tool, represents the server part and is published as Web service

CONTINUATIONS FOR REMOTE OBJECTS CONTROL

Abstract. We have recently introduced the ”continuation semantics for concurrency” (CSC) technique in an attempt to exploit the benefits of using continuations in concurrent systems development. CSC is a general technique for denotational semantics which provides excellent flexibility in the compositional modeling of concurrent control concepts. In this paper, we present a denotational semantics designed with CSC for a distributed languages incorporating two control concepts which have not been modeled denotationally before: remote object (process) destruction, and cloning. 1